"Jan Heering" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Hugo Grotius As Apologist for the Christian Religion: A Study of His Work De Veritate Religionis Christianae, 1640 (Studies in the History of Christian Thought)

Jan-Paul Heering

1.40 Mb

#2

Hugo Grotius as Apologist for the Christian Religion. A Study of his Work De veritate religionis christianae (1640)

Jan-Paul Heering

1.22 Mb

#3

Algebraic and Logic Programming 6 conf., ALP '97 - HOA '97

Michael Hanus, Jan Heering, Karl Meinke

Категория: Cs_Computer science, CsLn_Lecture notes

2.60 Mb

#4

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers

Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow

2.66 Mb

#5

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller

2.40 Mb

#6

Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

Michael Hanus, Jan Heering, Karl Meinke

18.80 Mb